Based on the mechanism of incremental attribute evaluation in the interactive PASCAL programming environment FPE/ 1, an approach to incremental flow analysis and an evaluation technique for attributes with circular dependencies are presented. 本文提出了一种以交互式PASCAL程序设计环境FPE/1中的增量属性计值机制为基础的增量数据流分析方法,并给出了对循环依赖属性的计值方法。
Incremental flow analysis and its application in incremental programming environment 增量数据流分析及其在增量程序设计环境中的应用